Rodin Platform
Rigorous Open Development Environment for Complex Systems
Event-Bを使うためのEclipseベースのツール群
Event-B.org
Rodin Platform Releases - Event-B
The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.
ref: Event-B.org
GitHubで見つけたサンプル
BouweCeunen/formal-method-eventb: Programming examples for Event-B formal method.
確認用
Q. Rodin Platform
参考
Rodin tool - Wikipedia
関連
調査用
/pogi-log/Google.icon Rodin Platform
/pogi-log/Wikipedia.icon
Platform Rodin Platform - Wikipedia(日)
Rodin Platform(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Rodin Platform - Wikipedia(英)
Rodin toolのページを見る
Rodin Platform(検索) - Wikipedia(英)
#Fleeting_Notes